Popis šablony ČSN ISO 690:2011 v jazyce CSL pro citační manažer Zotero
نویسندگان
چکیده
منابع مشابه
Neutrino emissivity and bulk viscosity of iso-CSL quark matter in neutron stars
We present results for neutrino emissivities and bulk viscosities of a two-flavor color superconducting quark matter phase with isotropic color-spin-locked (iso-CSL) single-flavor pairing which fulfill the constraints on quark matter derived from cooling and rotational evolution of compact stars. We compare with results for the phenomenologically successful, but yet heuristic 2SC+X phase.
متن کاملReference Management Software: Comparative Analysis of RefWorks and Zotero
This paper presents a comparison of reference management software between RefWorks and Zotero. The results were drawn by comparing two software and the novelty of this paper is the comparative analysis of software and it has shown that ReftWorks can import more information from the Google Scholar for the researchers. This finding could help to know researchers to use the reference management so...
متن کاملAutomata-Based CSL Model Checking
For continuous-time Markov chains, the model-checking problem with respect to continuous-time stochastic logic (CSL) has been introduced and shown to be decidable by Aziz, Sanwal, Singhal and Brayton in 1996. The presented decision procedure, however, has exponential complexity. In this paper, we propose an effective approximation algorithm for full CSL. The key to our method is the notion of s...
متن کاملTowards compositional CSL model checking
The Continuous Stochastic Logic (CSL) is a powerful means to state properties which refer to Continuous Time Markov Chains (CTMCs). The verification of such properties on a model can be achieved through a suitable algorithm. In this doctoral thesis, the CSL logic has been considered and two major aspects have been addressed: the analysis of its expressiveness and the study of methods for a deco...
متن کاملConnecting the IR with the User: Personal Archiving via Zotero
This paper summarizes a poster / demo about a project supported by an Andrew W. Mellon Foundation grant of $440,000 to the Penn State University Libraries. This project studies how faculty manage (and more specifically, archive) their personal information collections. We will share the planned trajectory of the 2014-2016 project, designed in collaboration with George Mason University and Zotero...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ProInflow
سال: 2013
ISSN: 1804-2406
DOI: 10.5817/proin2013-2-6